<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>MINHEIGHT</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L209'>MINHEIGHT</a>         209 src/filemanager/layout.c         else if (layout-&gt;top_panel_size &lt; MINHEIGHT)</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L210'>MINHEIGHT</a>         210 src/filemanager/layout.c             layout-&gt;top_panel_size = MINHEIGHT;</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L211'>MINHEIGHT</a>         211 src/filemanager/layout.c         else if (layout-&gt;top_panel_size &gt; height - MINHEIGHT)</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L212'>MINHEIGHT</a>         212 src/filemanager/layout.c             layout-&gt;top_panel_size = height - MINHEIGHT;</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L376'>MINHEIGHT</a>         376 src/filemanager/layout.c                 minimum = MINHEIGHT * (1 + (panels_layout.horizontal_split ? 1 : 0));</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L835'>MINHEIGHT</a>         835 src/filemanager/layout.c         minimum = MINHEIGHT * (1 + (panels_layout.horizontal_split ? 1 : 0));</span>
</pre>
</body>
</html>
